GEBSER, MARTIN: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Answer Set Solving in Practice

Gebser, Martin, Kaminski, Roland, Kaufmann, Benjamin, Schaub, Torsten

Journal:

Synthesis Lectures on Artificial Intelligence and Machine Learning

Year:

2012

Language:

english

File:

PDF, 1.94 MB

english, 2012

2

Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming

GEBSER, MARTIN, OBERMEIER, PHILIPP, SCHAUB, TORSTEN, RATSCH-HEITMANN, MICHEL, RUNGE, MARIO

Journal:

Theory and Practice of Logic Programming

Year:

2018

Language:

english

File:

PDF, 330 KB

english, 2018

3

Multi-shot ASP solving with clingo

GEBSER, MARTIN, KAMINSKI, ROLAND, KAUFMANN, BENJAMIN, SCHAUB, TORSTEN

Journal:

Theory and Practice of Logic Programming

Year:

2018

Language:

english

File:

PDF, 888 KB

english, 2018

4

High-level synthesis of on-chip multiprocessor architectures based on answer set programming

Bobda, Christophe, Yonga, Franck, Gebser, Martin, Ishebabi, Harold, Schaub, Torsten

Journal:

Journal of Parallel and Distributed Computing

Year:

2018

Language:

english

File:

PDF, 1.30 MB

english, 2018

5

Conflict-driven answer set solving: From theory to practice

Martin Gebser, Benjamin Kaufmann, Torsten Schaub

Journal:

Artificial Intelligence

Year:

2012

Language:

english

File:

PDF, 494 KB

english, 2012

6

The Potsdam Answer Set Solving Collection 5.0

Gebser, Martin, Kaminski, Roland, Kaufmann, Benjamin, Lühne, Patrick, Obermeier, Philipp, Ostrowski, Max, Romero, Javier, Schaub, Torsten, Schellhorn, Sebastian, Wanko, Philipp

Journal:

KI - Künstliche Intelligenz

Year:

2018

Language:

english

File:

PDF, 840 KB

english, 2018

7

Experimenting with robotic intra-logistics domains

GEBSER, MARTIN, OBERMEIER, PHILIPP, OTTO, THOMAS, SCHAUB, TORSTEN, SABUNCU, ORKUNT, NGUYEN, VAN, SON, TRAN CAO

Journal:

Theory and Practice of Logic Programming

Year:

2018

Language:

english

File:

PDF, 425 KB

english, 2018

8

Design and results of the Fifth Answer Set Programming Competition

Calimeri, Francesco, Gebser, Martin, Maratea, Marco, Ricca, Francesco

Journal:

Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 1.37 MB

english, 2016

9

[IEEE 2010 22nd International Conference on Tools with Artificial Intelligence (ICTAI) - Arras, France (2010.10.27-2010.10.29)] 2010 22nd IEEE International Conference on Tools with Artificial Intelligence - The BioASP Library: ASP Solutions for Systems Biology

Gebser, Martin, Konig, Arne, Schaub, Torsten, Thiele, Sven, Veber, Philippe

Year:

2010

Language:

english

File:

PDF, 438 KB

english, 2010

10

Learning Boolean logic models of signaling networks with ASP

Videla, Santiago, Guziolowski, Carito, Eduati, Federica, Thiele, Sven, Gebser, Martin, Nicolas, Jacques, Saez-Rodriguez, Julio, Schaub, Torsten, Siegel, Anne

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 2.15 MB

english, 2014

11

Rewriting recursive aggregates in answer set programming: back to monotonicity

ALVIANO, MARIO, FABER, WOLFGANG, GEBSER, MARTIN

Journal:

Theory and Practice of Logic Programming

Year:

2015

Language:

english

File:

PDF, 146 KB

english, 2015

12

Modeling and Language Extensions

Gebser, Martin, Schaub, Torsten

Journal:

Year:

2016

File:

PDF, 569 KB

2016

13

Multi-threaded ASP solving with clasp

GEBSER, MARTIN, KAUFMANN, BENJAMIN, SCHAUB, TORSTEN

Journal:

Theory and Practice of Logic Programming

Year:

2012

Language:

english

File:

PDF, 585 KB

english, 2012

14

Complex optimization in answer set programming

GEBSER, MARTIN, KAMINSKI, ROLAND, SCHAUB, TORSTEN

Journal:

Theory and Practice of Logic Programming

Year:

2011

Language:

english

File:

PDF, 159 KB

english, 2011

15

An incremental answer set programming based system for finite model computation

Gebser, Martin, Sabuncu, Orkunt, Schaub, Torsten

Journal:

AI Communications

Year:

2011

File:

PDF, 195 KB

2011

16

Learning discrete decomposable graphical models via constraint optimization

Janhunen, Tomi, Gebser, Martin, Rintanen, Jussi, Nyman, Henrik, Pensar, Johan, Corander, Jukka

Journal:

Statistics and Computing

Year:

2017

Language:

english

File:

PDF, 712 KB

english, 2017

17

Abstract gringo

GEBSER, MARTIN, HARRISON, AMELIA, KAMINSKI, ROLAND, LIFSCHITZ, VLADIMIR, SCHAUB, TORSTEN

Journal:

Theory and Practice of Logic Programming

Year:

2015

Language:

english

File:

PDF, 155 KB

english, 2015

18

Detecting inconsistencies in large biological networks with answer set programming

GEBSER, MARTIN, SCHAUB, TORSTEN, THIELE, SVEN, VEBER, PHILIPPE

Journal:

Theory and Practice of Logic Programming

Year:

2011

Language:

english

File:

PDF, 523 KB

english, 2011

19

On elementary loops of logic programs

GEBSER, MARTIN, LEE, JOOHYUNG, LIERLER, YULIYA

Journal:

Theory and Practice of Logic Programming

Year:

2011

Language:

english

File:

PDF, 277 KB

english, 2011

20

Shift Design with Answer Set Programming*

Abseher, Michael, Gebser, Martin, Musliu, Nysret, Schaub, Torsten, Woltran, Stefan, Inclezan, Daniela, Maratea, Marco, Marek, Victor

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 320 KB

english, 2016

21

Potassco: The Potsdam Answer Set Solving Collection

Gebser, Martin, Kaufmann, Benjamin, Kaminski, Roland, Ostrowski, Max, Schaub, Torsten, Schneider, Marius

Journal:

AI Communications

Year:

2011

File:

PDF, 166 KB

2011

22

Answer Set versus Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems from Real-Time Parallel Programs

Ishebabi, Harold, Mahr, Philipp, Bobda, Christophe, Gebser, Martin, Schaub, Torsten

Journal:

International Journal of Reconfigurable Computing

Year:

2009

Language:

english

File:

PDF, 1.39 MB

english, 2009

23

plasp 3: Towards Effective ASP Planning

DIMOPOULOS, YANNIS, GEBSER, MARTIN, LÜHNE, PATRICK, ROMERO, JAVIER, SCHAUB, TORSTEN

Journal:

Theory and Practice of Logic Programming

Year:

2019

Language:

english

File:

PDF, 1.06 MB

english, 2019

24

Modeling and Language Extensions

Gebser, Martin, Schaub, Torsten

Journal:

Year:

2016

Language:

english

File:

PDF, 569 KB

english, 2016

25

Tableau Calculi for Logic Programs under Answer Set Semantics

Gebser, Martin, Schaub, Torsten

Journal:

ACM Transactions on Computational Logic

Year:

2013

Language:

english

File:

PDF, 1.92 MB

english, 2013

26

Answer Set Programming Modulo Acyclicity*

Bomanson, Jori, Gebser, Martin, Janhunen, Tomi, Kaufmann, Benjamin, Schaub, Torsten, Inclezan, Daniela, Maratea, Marco, Marek, Victor

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 446 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски